Formal Analysis of Arrival Procedure of Air Traffic Control System
نویسندگان
چکیده
The air traffic control (ATC) is safety, monetary and environmental critical system. Its failure may cause the loss of human life, severe injuries, loss of money and environmental issues. The complexity of such systems requires formal modeling and step by step design processes. In this paper we investigate the use of formal method VDM++ to specify and verify the arrival procedure of aircrafts. The control along arrival procedure changes from the ramp to the gate controller to make possible the safe arrival. For the specification the bottom up approach is used to model the system. Initially, aircraft, ramp and gate controller are specified, then all are combine for their synchronize approach. The specification and syntactical verification are performed by VDM++ which is an object oriented model based formal approach. [Yousaf S, Khan SA, Zafar NA and Farooq A and Khan MA. Formal Analysis of Arrival Procedure of Air Traffic Control System. Life Sci J 2012;9(4):3094-3098] (ISSN:1097-8135). http://www.lifesciencesite.com. 454 .
منابع مشابه
Development of Surface Management System Integrated with CTAS Arrival Tool
The Surface Management System (SMS) is a decision support tool that helps tower traffic coordinators and Ground/Local controllers manage and control airport surface traffic in order to increase capacity, efficiency, and flexibility. SMS provides common situation awareness to personnel at various air traffic control facilities such as air traffic control towers (ATCTs), airline ramp towers, the ...
متن کاملDevelopment of a strategic plan through SWOT analysis to control traffic-borne air pollutants using CALINE4 model
Traffic is one of the main sources of air pollution in metropolitan areas. With development of transportation system, inappropriate vehicle production, and the use of low-quality fuels, increased pollution in these areas is inevitable. The current study tries to determine PM2.5, PM10, NO2, and CO emission dispersion, caused by traffic, using CALINE4 software. Ac...
متن کاملSimulation of CTAS/FMS Air Traffic Management
A simulation of integrated air and ground operations was conducted to demonstrate procedures, flight management automation, data link technology, and air traffic control decision support tools for improving Air Traffic Management (ATM) efficiency. Air traffic controllers managed simulated arrival traffic using Center-TRACON Automation System (CTAS) tools. Flight crews in Flight Management Syste...
متن کاملAutonomous System for Air Traffic Control in Terminal Airspace
In this article we present recent work towards the development of an autonomous system that performs conflict resolution and arrival scheduling for aircraft in the terminal airspace around an airport. An autonomous air traffic control system is defined as a system that can safely solve the major traffic management problems currently handled by human controllers. It has the potential to handle h...
متن کاملFormal Methods Applications in Air Transportation
The U.S. air transportation system is the most productive in the world, moving far more people and goods than any other. It is also the safest system in the world, thanks in part to its venerable air traffic control system. But as demand for air travel continues to grow, the air traffic control system’s aging infrastructure and labor-intensive procedures are impinging on its ability to keep pac...
متن کامل